def alpha[A]: F[A] => G[A]